From Ideal Worlds to Ideality

In common treatments of deontic logic, the obligatory is what's true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference rule which ensures that all tautologies are obligatory. I sketch this amended semantics to show how it invalidates the rule in a new way

Worship and Veneration

Various strands of religious thought distinguish veneration from worship. According to these traditions, believers ought to worship God alone. To worship anything else, they say, is idolatry. And yet many of these same believers also claim to venerate—but not worship—saints, angels, images, relics, tombs, and even each other. But what's the difference? Tim Bayne and Yujin Nagasawa (2006: 302) are correct that “it seems to be extremely difficult to distinguish veneration from worship.” Many have argued throughout history that veneration collapses into worship and that those who venerate saints or icons are guilty of idolatry. In this essay, we distinguish worship from veneration in two stages. First, we give a formal account of their difference. Drawing from St. John of Damascus (c. 675-749 AD), we argue that worship is a determinate of the determinable veneration. Second, we give more substantive accounts of both that explain their differences and similarities. Drawing again from St John, we argue that acts of veneration and worship signify subordination. Their difference, however, lies in the fact that worship alone requires absolute subordination

Electronic Coins

In the bitcoin whitepaper, Satoshi Nakamoto (2008: 2) defines an electronic coin as a chain of digital signatures. Many have since defined a bitcoin as a chain of digital signatures. This latter definition continues to appear in reports from central banks, advocacy centers, and governments, as well as in academic papers across the disciplines of law, economics, computer science, cryptography, management, and philosophy. Some have even used it to argue that what we now call bitcoin is not the real bitcoin. The definition fails, however. This is important because the Chain Definition obscures Satoshi’s solution to a dilemma in the design of electronic cash, as well as the truth about bitcoin’s privacy and fungibility. In this article, I explain why the Chain Definition fails and what Satoshi likely endorsed instead. Along the way, I untangle some issues around bitcoin fungibility and clarify some others around the ontology of digital assets

Modal Intensionalism

The traditional approach to modality analyzes necessity and possibility in terms of possible worlds. According to this approach, what is necessarily true is true in (or at) all possible worlds. In the first half of this paper, I argue that there is a genuine alternative approach to modality. The alternative approach does not appeal to possible worlds but properties that bear various relations of inclusion and exclusion to one another. In the second half of this paper, I flesh out the formal details of this approach with respect to the modal propositional calculi. The result is a completely un-Kripkean formal semantics. Along the way, I provide a novel property mereology.Master of Art

Leibnizian Idealism

This chapter offers an interpretation of Gottfried Wilhelm Leibniz’s idealism. Despite Leibniz’s frequent claim that the universe ultimately boils down to monads, he also sometimes appears to say that the world’s fundamental furniture includes extended, corporeal substances. Here, I examine Leibniz’s views about the relationship between monads and the material world, especially in connection with material bodies and corporeal substances

Numbers and Necessity

I offer a new account of property parthood, and on its basis, novel semantic approaches to first-order logic, modal propositional logic, and quantified modal logic. I also use it in my metaphysical accounts of sets and the natural numbers. Along the way, I analyze property parthood in terms of the mental conjunction of ideas. What results: idealist accounts of necessity and number with certain explanatory advantages over standard accounts.Doctor of Philosoph

Ostrich Actualism

In On What Matters, Derek Parfit enters the debate between actualists and possibilists. This debate concerns mere possibilia, possible but non-actual things such as golden mountains and talking donkeys. Roughly, possibilism says that there are such things, and actualism says that there are not. Parfit not only argues for possibilism but also argues that some self-proclaimed actualists are, in fact, unwitting possibilists. I argue that although Parfit’s arguments do not fully succeed, they do highlight a tension within the frameworks of many actualists. Many actualists conscript abstract objects into the role of "possible worlds" to avoid quantifying over mere possibilia. But, in doing so, actualists must quantify over mere possibilia anyway. When we alleviate this tension, a Parfit-friendly form of actualism arguably remains. This form of actualism says that while everything that exists is actual, it is also true in some sense that there are mere possibilia

The Moral Landscape of Monetary Design

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency